Andersonian Deontic Logic, Propositional Quantification, and Mally
نویسندگان
چکیده
منابع مشابه
Andersonian Deontic Logic, Propositional Quantification, and Mally
We present a new axiomatization of the deontic fragment of Anderson’s relevant deontic logic, give an Andersonian reduction of a relevant version of Mally’s deontic logic previously discussed in this journal, study the effect of adding propositional quantification to Anderson’s system, and discuss the meaning of Anderson’s propositional constant in a wide range of Andersonian deontic systems.
متن کاملAn Andersonian Deontic Logic with Contextualized Sanctions
We present a refinement of Anderson’s reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula SB is then for instance interpreted as “B causes a sanction” or as “B provides a r...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملDeontic Logic
The chapter is organized in ten sections, each of them presenting a fundamental issue or problem in the area of deontic logic. Section 10.2 is about the issue of norms and truth, i.e., whether norms should have truth value. It opposes deontic logic viewed as a logic of normative propositions to deontic logic viewed as a logic of imperatives. Section 10.3 deals with the problem of contrary-to-du...
متن کاملImperatives and Deontic Logic
Deontic logic has so far been almost exclusively interpreted by a possible worlds semantics and ideality or preference relations between the worlds. In distinguishing itself from attempts at a logic of norms or logic of imperatives, deontic logic has portrayed its formulas as ‘deontic propositions’, true or false statements about what is obligatory, permitted or forbidden according to some unsp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2006
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1163775445